(0 8 7)(1 12 6)(2 20 4)(3 10 5)(9 16 14)(11 18 13)(15 19 17)
ALLOWS (11/8)-SEQUENCE
1: (1 12 20)
(0 8 7)(1 4 2 20 6)(3 10 5)(9 16 14)(11 18 13)(12)(15 19 17)
2: (1 4 6)
(0 8 7)(1)(2 20 6)(3 10 5)(4)(9 16 14)(11 18 13)(12)(15 19 17)
3: (3 10 5)
(0 8 7)(1)(2 20 6)(3)(4)(5)(9 16 14)(10)(11 18 13)(12)(15 19 17)
4: (2 20 6)
(0 8 7)(1)(2)(3)(4)(5)(6)(9 16 14)(10)(11 18 13)(12)(15 19 17)(20)